Une approche hybride GPL-DSL pour transformer des modèles

Une approche hybride GPL-DSL pour transformer des modèles

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt età la diffusion de documents scientifiques de niveau r...

Une approche hybride pour l'optimisation multi-objectif sous contraintes

RÉSUMÉ. Nous présentons PICPA, un nouvel algorithme pour traiter les problèmes multiobjectif continus sous contraintes. Cet algorithme combine des techniques de propagation de contraintes à des concepts évolutionnaires. À la différence des algorithmes évolutionnaires classiques qui ne donnent que des solutions heuristiques, PICPA est capable de calculer des bornes du front Pareto optimal tout e...

Une approche hybride pour la spécification de système reconfigurable

reconfigurable Mâamoun Bernichi – Fabrice Mourlin LACL Laboratoire d’Algorithmique, Complexité et Logique, Université Paris 12, 94010 Créteil Cedex, France [email protected] [email protected] Résumé La mobilité d’action au sein d’un logiciel est une voie d’évolution pour obtenir un logiciel plus réactif en particulier à son contexte d’exécution. Les travaux de recherche présentés dans...

Une approche qualitative spatiale pour une description sémantique des reliefs

Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles

We focus in this PhD on the definition of an industrial platform promoting a better integration oftechniques for requirements verification and validation within software development processes. Thisplatform called R2A (which stands for Requirements for Analysis) is entirely built using technologiesfrom model-driven engineering. The core of the platform is a model composition process ...